Ernst, Gidon: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Modular, crash-safe refinement for ASMs with submachines

Ernst, Gidon, Pfähler, Jörg, Schellhorn, Gerhard, Reif, Wolfgang

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.19 MB

english, 2016

2

[ACM Press the 30th Australian Conference - Melbourne, Australia (2018.12.04-2018.12.07)] Proceedings of the 30th Australian Conference on Computer-Human Interaction - OzCHI '18 - In search of perfect users

Issa, Abdullah, Murray, Toby, Ernst, Gidon

Year:

2018

Language:

english

File:

PDF, 1011 KB

english, 2018

3

Verification of B\(^+\)trees by integration of shape analysis and interactive theorem proving

Ernst, Gidon, Schellhorn, Gerhard, Reif, Wolfgang

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.43 MB

english, 2015

4

KIV: overview and VerifyThis competition

Ernst, Gidon, Pfähler, Jörg, Schellhorn, Gerhard, Haneberg, Dominik, Reif, Wolfgang

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 1.71 MB

english, 2015

5

RGITL: A temporal logic framework for compositional reasoning about interleaved programs

Schellhorn, Gerhard, Tofan, Bogdan, Ernst, Gidon, Pfähler, Jörg, Reif, Wolfgang

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 1.36 MB

english, 2014

6

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - Interleaved Programs and Rely-Guarantee Reasoning with ITL

Schellhorn, Gerhard, Tofan, Bogdan, Ernst, Gidon, Reif, Wolfgang

Year:

2011

Language:

english

File:

PDF, 233 KB

english, 2011

7

[ACM Press the 6th ACM conference - Raleigh, NC, USA (2008.11.05-2008.11.07)] Proceedings of the 6th ACM conference on Embedded network sensor systems - SenSys '08 - Introducing TakaTuka

Aslam, Faisal, Schindelhauer, Christian, Ernst, Gidon, Spyra, Damian, Meyer, Jan, Zalloom, Mohannad

Year:

2008

Language:

english

File:

PDF, 435 KB

english, 2008

8

[ACM Press the 17th Workshop - Prague, Czech Republic (2015.07.07-2015.07.07)] Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 - Conditional effects in fine-grained region logic

Bao, Yuyan, Leavens, Gary T., Ernst, Gidon

Year:

2015

Language:

english

File:

PDF, 241 KB

english, 2015

9

Symbolic execution for a clash-free subset of ASMs

Schellhorn, Gerhard, Ernst, Gidon, Pfähler, Jörg, Bodenmüller, Stefan, Reif, Wolfgang

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

10

[IEEE 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Porto, Portugal (2018.4.10-2018.4.13)] 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Time-Staging Enhancement of Hybrid System Falsification

Zhang, Zhenya, Ernst, Gidon, Hasuo, Ichiro, Sedwards, Sean

Year:

2018

Language:

english

File:

PDF, 130 KB

english, 2018

11

Unifying separation logic and region logic to allow interoperability

Bao, Yuyan, Leavens, Gary T., Ernst, Gidon

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 3.62 MB

english, 2018

12

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search

Zhang, Zhenya, Ernst, Gidon, Sedwards, Sean, Arcaini, Paolo, Hasuo, Ichiro

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018